10 results
Z property for the shuffling calculus
-
- Journal:
- Mathematical Structures in Computer Science / Volume 32 / Issue 7 / August 2022
- Published online by Cambridge University Press:
- 10 January 2023, pp. 1015-1027
-
- Article
- Export citation
Concentrations and source variations of n-alkanes in a 21 m ice core and snow samples at Belukha glacier, Russian Altai mountains
-
- Journal:
- Annals of Glaciology / Volume 43 / 2006
- Published online by Cambridge University Press:
- 14 September 2017, pp. 142-147
-
- Article
-
- You have access
- HTML
- Export citation
Use of ice cores from glaciers with melting for reconstructing mean summer temperature variations
-
- Journal:
- Annals of Glaciology / Volume 43 / 2006
- Published online by Cambridge University Press:
- 14 September 2017, pp. 167-171
-
- Article
-
- You have access
- HTML
- Export citation
Dating of seasonal snow/firn accumulation layers using pollen analysis
-
- Journal:
- Journal of Glaciology / Volume 51 / Issue 174 / 2005
- Published online by Cambridge University Press:
- 08 September 2017, pp. 483-490
-
- Article
-
- You have access
- HTML
- Export citation
Ionic Liquid Preparation for SEM Observation of Minute Crustacean
-
- Journal:
- Microscopy and Microanalysis / Volume 20 / Issue S3 / August 2014
- Published online by Cambridge University Press:
- 27 August 2014, pp. 1016-1017
- Print publication:
- August 2014
-
- Article
-
- You have access
- Export citation
New Preparation Method using Ionic Liquid for Fast and Reliable SEM Observation of Biological Specimens
-
- Journal:
- Microscopy and Microanalysis / Volume 20 / Issue S3 / August 2014
- Published online by Cambridge University Press:
- 27 August 2014, pp. 1012-1013
- Print publication:
- August 2014
-
- Article
-
- You have access
- Export citation
Underfilm corrosion of steel sheets observed by confocal 3D-XRF technique
-
- Journal:
- Powder Diffraction / Volume 29 / Issue 2 / June 2014
- Published online by Cambridge University Press:
- 29 April 2014, pp. 151-154
-
- Article
- Export citation
Monadic translation of classical sequent calculus
-
- Journal:
- Mathematical Structures in Computer Science / Volume 23 / Issue 6 / December 2013
- Published online by Cambridge University Press:
- 18 January 2013, pp. 1111-1162
-
- Article
- Export citation
Corrigendum to “Strong normalization proof with CPS-translation for second order classical natural deduction”
-
- Journal:
- The Journal of Symbolic Logic / Volume 68 / Issue 4 / December 2003
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1415-1416
- Print publication:
- December 2003
-
- Article
- Export citation
Strong normalization proof with CPS-translation for second order classical natural deduction
-
- Journal:
- The Journal of Symbolic Logic / Volume 68 / Issue 3 / September 2003
- Published online by Cambridge University Press:
- 12 March 2014, pp. 851-859
- Print publication:
- September 2003
-
- Article
- Export citation